Peirce’s Triadic Logic and Its (Overlooked) Connexive Expansion
نویسندگان
چکیده
منابع مشابه
Connexive Modal Logic
Connexive logic is a neglected direction in non-classical logic. In the present paper, first an axiomatic system of connexive propositional logic is presented. This logic, C, is shown to be sound and complete with respect to a class of relational models. It seems that this semantics is, in fact, the first known intuitively plausible interpretation of a system of connexive logic. The presentatio...
متن کاملDialogical Connexive Logic
Many of the discussions about conditionals can best be put as follows: can those conditionals that involve an entailment relation be formulated within a formal system? The reasons for the failure of the classical approach to entailment have usually been that they ignore the meaning connection between antecedent and consequent in a valid entailment. One of the first theories in the history of lo...
متن کاملWhen Conditional Logic met Connexive Logic
Conditional logic and connexive logic are two theories whose goal is the correct formalization of the way conditionals (i.e. sentences of form if A, C) are used in natural language. However, both approaches are never combined in the literature. I present here the first formal system which allows modeling the ideas behind these two approaches in a unique framework. Furthermore, the resulting sys...
متن کاملEfficient Triadic Generators for Logic Circuits
In practical logic design circuits are built by composing certain types of gates. Each gate itself is a simple circuits with one, two or three inputs and one output, which implements an elementary logic function. These functions are called the generators. For the general purpose the set of generators is considered to be functionally complete, i.e., it is able to express any logic function under...
متن کاملConditional Preferences Based on Triadic Modal Logic
We concern ourselves in this paper with formalization of conditional preferences based on modal logic. We indicate four basic requirements for the task and show that meeting them jointly presents a challenge to existing dyadic modal logics of preferences. As an alternative, we introduce a minimal system, MCP, of triadic modal logic, which is consistent and also frame sound and frame complete wi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic and Logical Philosophy
سال: 2021
ISSN: 2300-9802,1425-3305
DOI: 10.12775/llp.2021.007